Conducting Verification And Validation Of Multi-Agent Systems
نویسندگان
چکیده
Verification and Validation (V&V) is a series of activities ,technical and managerial ,which performed by system tester not the system developer in order to improve the system quality ,system reliability and assure that product satisfies the users operational needs. Verification is the assurance that the products of a particular development phase are consistent with the requirements of that phase and preceding phase(s), while validation is the assurance that the final product meets system requirements. an outside agency can be used to performed V&V, which is indicate by Independent V&V, or IV&V, or by a group within the organization but not the developer, referred to as Internal V&V. Use of V&V often accompanies testing, can improve quality assurance, and can reduce risk. This paper putting guidelines for performing V&V of Multi-Agent Systems (MAS).
منابع مشابه
Model Checking Multi-Agent Systems
Multi-agent systems are increasingly complex, and the problem of their verification and validation is acquiring increasing importance. In this paper we show how a well known and effective verification technique, model checking, can be generalized to deal with multi-agent systems. This paper explores a particular type of multi-agent system, in which each agent is viewed as having the three menta...
متن کاملVerifying Multi-Agent Knowledge-Based Systems using COVERAGE
Anomaly detection, as performed by the COVER tool, has proven to be a useful method for verification of knowledge-based systems. The increasing development of distributed knowledge-based systems based upon the multi-agent architecture demands techniques for the verification of these systems. This paper describes the COVERAGE too1 -an extension of COVER designed to perform anomaly detection on m...
متن کاملSymbolic Model Checking for Multi-Agent Systems
Multi-Agent Systems are increasingly complex, and the problem of their verification and validation is acquiring increasing importance. In this paper we show how a well known and effective verification technique, symbolic model checking, can be generalized to deal with Multi-Agent Systems. Our approach is fully amenable to the reuse of data structures used in symbolic model checking, Binary Deci...
متن کاملUsing ILP-Systems for Verification and Validation of Multi-agent Systems
Most applications of inductive logic programming focus on prediction or the discovery of new knowledge. We describe a less common application of ILP namely veriication and validation of knowledge based systems and multi-agent systems. Using inductive logic programming, partial declarative speciications of the software can be induced from the behavior of the software. These rules can be readily ...
متن کاملValidation and Verification of Agent and Multi-agent Plans in Dynamic Environment
In multi-agent systems evolving in complex and dynamic environments, the agents need to plan their tasks and to monitor its execution in order to deal with unpredictable situations. They must have plans that remain subject to continual updating, even during its execution. To cope with this issue, we proposed in previous works, SHPlNet, a model allowing to represent plans less sensitive to execu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1210.3640 شماره
صفحات -
تاریخ انتشار 2012